J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

Source URL: www.math.ru.nl

• Algebra
• Mathematics
• Abstract algebra
• Universal algebra
• Mathematical structures
• Mathematical logic
• Algebraic structures
• Magma
• Sigma-algebra
• Structure
• F-algebra
• Model theory

Quantum Probabilistic Dyadic Second-Order Logic? A. Baltag, J. M. Bergfeld, K. Kishida, J. Sack, S. J. L. Smets, S. Zhong Institute for Logic, Language and Computation, Universiteit van Amsterdam Science Park 107, 1098XG

Source URL: www.joshuasack.info

Scope and Situation Binding in LTAG using Semantic Unification (Preprint version, to appear in Research on Language and Computation) Laura Kallmeyer () SFB 441, University of T¨

Source URL: user.phil-fak.uni-duesseldorf.de

Learning by Erasing in Dynamic Epistemic Logic Nina Gierasimczuk? Institute for Logic, Language, and Computation, University of Amsterdam Institute of Philosophy, University of Warsaw

Source URL: www.ninagierasimczuk.com

A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

Source URL: ect.bell-labs.com

• Category theory
• Models of computation
• Adjoint functors
• Functional programming
• Logic in computer science
• Denotational semantics
• Lambda calculus
• Cartesian closed category
• Sheaf
• F-algebra
• Kleisli category
• Monad

Scope and Situation Binding in LTAG using Semantic Unification (Preprint version, to appear in Research on Language and Computation) Laura Kallmeyer () SFB 441, University of T¨

Source URL: user.phil-fak.uni-duesseldorf.de

Research on Language and Computation 1: 3–58, 2003. © 2003 Kluwer Academic Publishers. Printed in the Netherlands. 3 Factoring Predicate Argument and Scope

Source URL: user.phil-fak.uni-duesseldorf.de

Research on Language and Computation 1: 3–58, 2003. © 2003 Kluwer Academic Publishers. Printed in the Netherlands. 3 Factoring Predicate Argument and Scope

Source URL: user.phil-fak.uni-duesseldorf.de

Soc 8590: Work, Health, and Well-Being Fall:45-2:15 Mondays Room: 1114 SST Instructor

Source URL: www.soc.umn.edu

• Law
• Workshop on Logic
• Language
• Information and Computation
• Drug control law
• Soil
• Terramechanics

Delft University of Technology Software Engineering Research Group Technical Report Series Parse Table Composition Separate Compilation and Binary

Source URL: swerl.tudelft.nl

• Compiler construction
• Computing
• Parsing
• Automata theory
• Models of computation
• LR parser
• Formal grammar
• Parsing table
• Compiler-compiler
• Formal languages
• Programming language implementation
• Software engineering